1
Concepts in Programming Languages

Concepts in Programming Languages

John C. Mitchell, Krzysztof Apt
Jahr:
2001
Sprache:
english
Datei:
PDF, 7.59 MB
0 / 1.0
english, 2001
2
A Brief History of Mathematics for Curious Minds

A Brief History of Mathematics for Curious Minds

Krzysztof R Apt
Jahr:
2024
Sprache:
english
Datei:
PDF, 40.13 MB
0 / 4.0
english, 2024
3
Principles of Constraint Programming

Principles of Constraint Programming

Krzysztof Apt
Jahr:
2003
Sprache:
english
Datei:
PDF, 1.74 MB
0 / 0
english, 2003
4
From Logic Programming to Prolog

From Logic Programming to Prolog

Krzysztof R. Apt
Jahr:
1996
Sprache:
english
Datei:
PDF, 1.30 MB
0 / 0
english, 1996
5
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Jahr:
2009
Sprache:
english
Datei:
PDF, 2.10 MB
0 / 0
english, 2009
6
Principles of constraint programming

Principles of constraint programming

Krzysztof Apt
Jahr:
2003
Sprache:
english
Datei:
PDF, 1.73 MB
0 / 0
english, 2003
7
Constraint Logic Programming using Eclipse

Constraint Logic Programming using Eclipse

Krzysztof R. Apt, Mark Wallace
Jahr:
2007
Sprache:
english
Datei:
PDF, 1.50 MB
0 / 0
english, 2007
8
Concepts in programming languages

Concepts in programming languages

John C. Mitchell, Krzysztof Apt
Jahr:
2001
Sprache:
english
Datei:
PDF, 7.59 MB
0 / 0
english, 2001
9
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
Jahr:
2011
Sprache:
english
Datei:
PDF, 1.72 MB
0 / 0
english, 2011
11
New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Krzysztof R. Apt, Robert van Rooij, eds.
Jahr:
2009
Sprache:
english
Datei:
PDF, 8.89 MB
0 / 0
english, 2009
12
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Jahr:
1997
Sprache:
english
Datei:
PDF, 9.05 MB
0 / 0
english, 1997
15
Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Krzysztof R Apt, J W de Bakker, J J M M Rutten
Jahr:
1993
Sprache:
english
Datei:
PDF, 49.82 MB
0 / 0
english, 1993
17
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
Jahr:
2011
Sprache:
english
Datei:
PDF, 1.72 MB
0 / 0
english, 2011
19
Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Apt, Krzysztof R., Rutten, J. J. M. M., Bakker, Jacobus Willem
Jahr:
1993
Sprache:
english
Datei:
DJVU, 2.08 MB
0 / 0
english, 1993
22
The Logic programming paradigm : a 25-year perspective

The Logic programming paradigm : a 25-year perspective

Krzysztof Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren (eds)
Jahr:
1999
Sprache:
english
Datei:
DJVU, 4.12 MB
0 / 0
english, 1999
26
Logic Programming: The Joint [9th] International Conference & Symposium

Logic Programming: The Joint [9th] International Conference & Symposium

Krzysztof Apt (ed.)
Jahr:
1992
Sprache:
english
Datei:
DJVU, 9.47 MB
0 / 0
english, 1992
30
New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Apt, Krzysztof R., Van Rooij, Robert
Jahr:
2009
Sprache:
english
Datei:
PDF, 12.72 MB
0 / 0
english, 2009
31
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Jahr:
2009
Sprache:
english
Datei:
PDF, 8.45 MB
0 / 0
english, 2009
36
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Jahr:
1991
Sprache:
english
Datei:
PDF, 6.94 MB
0 / 0
english, 1991